Static single assignment form - PDFSEARCH.IO - Document Search Engine

Static single assignment form
Results: 1516

#	Item
41	Sound and Precise Analysis of Parallel Programs through Schedule Specialization Jingyue Wu Yang Tang Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2016-01-23 22:11:33 Parallel computing Compiler optimizations Concurrent computing Concurrency OpenMP Thread Synchronization Optimizing compiler Data-flow analysis Static single assignment form POSIX Threads
42	Linear Scan Register Allocation on Static Single Assignment Form Christian Wimmer Add to Reading List Source URL: wiki.jvmlangsummit.com Language: English - Date: 2010-07-26 16:47:26
43	Type Check Removal Using Lazy Interprocedural Code Versioning Baptiste Saleil Marc Feeley Add to Reading List Source URL: andykeep.com Language: English - Date: 2015-09-01 05:05:21 Compiler construction Programming language implementation Compiler optimizations Object-oriented programming languages Type theory Compiler Just-in-time compilation Interpreter Type inference Objective-C Static single assignment form C
44	GRAPHITE Two Years After First Lessons Learned From Real-World Polyhedral Compilation Konrad Trifunovic2 Albert Cohen2 David Edelsohn3 Li Feng6 Tobias Grosser5 Harsha Jagasia1 Razya Ladelsky4 Sebastian Pop1 Jan Sj¨ Add to Reading List Source URL: www.grosser.es Language: English - Date: 2015-08-09 09:15:10 Parallel computing Compiler optimizations GNU Compiler Collection Task parallelism Static single assignment form Data parallelism Polyhedral Automatic parallelization Intermediate representation Polytope model
45	Materialization Optimizations for Feature Selection Workloads Ce Zhang†‡ † Arun Kumar† Add to Reading List Source URL: cs.stanford.edu Language: English - Date: 2014-03-30 16:39:39 Statistical inference Statistics Machine learning Probability and statistics Model selection Statistical classification Computational statistics Dimension reduction Feature selection Support vector machine Linear regression Static single assignment form
46	A CPS-like Transformation of Continuation Marks Kimball R. Germane A thesis submitted to the faculty of Brigham Young University Add to Reading List Source URL: jeapostrophe.github.io Language: English - Date: 2016-02-18 16:47:50 Control flow Subroutines Computability theory Theoretical computer science Functional programming Continuation-passing style Lambda calculus Continuation Direct style Eval Stack Static single assignment form
47	Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts Tom Bergan Dan Grossman Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-09-08 13:30:43 Abstract interpretation Symbolic execution Pointer Software engineering KeY Stack Static single assignment form Formal methods Data types Computing
48	The roles that artefacts play: Add to Reading List Source URL: www-edc.eng.cam.ac.uk Language: English - Date: 2013-04-03 15:22:38 Logic Function Interpretation Static single assignment form Mathematics Mathematical logic Functions and mappings
49	Architecture for a Next-Generation GCC Chris Lattner Vikram Adve University of Illinois at Urbana, Champaign {lattner, vadve}@cs.uiuc.edu http://llvm.cs.uiuc.edu Add to Reading List Source URL: gcc.cybermirror.org Language: English - Date: 2004-08-29 18:00:00 Compiler construction Compiler optimizations Subroutines LLVM GNU Compiler Collection Compiler Static single assignment form Chris Lattner Interprocedural optimization Software Programming language implementation Compilers
50	Design and Implementation of a Graph Coloring Register Allocator for GCC Michael Matz SuSE Linux AG Add to Reading List Source URL: gcc.cybermirror.org Language: English - Date: 2004-08-29 18:00:00 Compiler optimizations Register allocation Compiler construction Graph coloring Static single assignment form Connectivity GNU Compiler Collection Software Programming language implementation Computing